Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
561	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands Results and Conclusions from the VLISP Verication Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Programming language theory Programming language semantics Programming language implementation Compiler construction Denotational semantics PreScheme Compiler Formal methods Programming language Software engineering Theoretical computer science Logic in computer science
562	Midterm report for a Joint Hurricane Testbed Project: Development of a unified dropsonde quality assurance and visualization capability Principal Investigators: Michael L. Black, NOAA/AOML Hurricane Research Division, Mi Add to Reading List Source URL: www.nhc.noaa.gov Language: English - Date: 2010-02-10 14:32:19 Cross-platform software Software development process Dropsonde SCons Software Qt Formal methods
563	National Aeronautics and Space Administration NASA FORMAL METHODS Symposium Add to Reading List Source URL: lars-lab.jpl.nasa.gov Language: English - Date: 2010-10-15 12:52:56 Technology NASA personnel Alcatel-Lucent Gerard J. Holzmann
564	The Software Supply Chain Integrity Framework Add to Reading List Source URL: www.safecode.org Language: English - Date: 2014-08-15 16:06:48 Marketing Supply chain management Formal methods Software project management Supply chain Software development process Software assurance IBM Rational Unified Process Software development Business Technology Management
565	Detecting Inconsistencies via Universal Reachability Analysis Aaron Tomb Cormac Flanagan Galois, Inc., USA Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Quantification Program logic Formal methods Predicate transformer semantics Entailment Assertion C Existential quantification FO Logic Software engineering Theoretical computer science
566	Formal Verification, Engineering and Business Value Ralf Huuck NICTA Sydney, Australia School of Computer Science and Engineering University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:15:45 Electronic engineering Logic in computer science Software testing Software verification Static program analysis Model checking Formal verification Programming tool Software bug Formal methods Software development Theoretical computer science
567	Microsoft Word - Role16.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2006-03-21 09:31:20 Software development Knowledge Formal methods Cybernetics System Systems science Abstraction Model checking Complexity Science Computing Programming paradigms
568	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:45 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic
569	Frama-C Training Session Tips and Tricks in Software Verification Virgile Prevosto CEA List October 22nd , 2010 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Formal specification Frama-C Software verification Specification Evaluation Technology ANSI/ISO C Specification Language Formal methods Software Technical communication
570	Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 06:02:19 Theoretical computer science Industrial automation Sequential function chart Formal methods Concurrency Logic in computer science Petri net IEC 61131-3 Actor model Technology Computing Models of computation

UPDATE